I'm sorry about your Angel.
I hate it when I lose fish & hate it even more when it's because of something I did
I love Eibli Angels. Should make a nice replacement.
btw - what do you normally keep your salinity at? How much of a rise was there?
On particular hot days, mine can empty it's ATO (just 2 x 450ml bottles) and still need topping up another 0.5 liter when I get home from work. Especially if I run a fan.
Jump is roughly 1.026 to 1.027 & nothing seems the worse for it.
.