So you mentioned earlier that the difference between hydraulic and hydrated lime is in how they set. Once set, is there no difference in properties between the two types, so once set, it doesn't matter which you use?
Given the OP's house (and mine) was likely to use lime (maybe also with...