Sorry - after I (hoping against hope) e-mailed JH Audio about the prospects of repairing them and received the inevitable reply ("lol srs?") - I threw them out.
Thanks to all for the advice. I've generally been considering flagship products from companies that are either established or for which there are experiences/reviews. On the current list are:
Westone ES5
JH Audio JH-13s
Heir Audio 8.A
Ultimate Ears UERM
My preference is for neutral and analytical CIEMs, so I've not included a few (for example, JH-16s) that have been designed to have a distinct signature. I've also generally skipped over less-expensive CIEMs, like 1964 or Alclair, on the assumption that those listed offer better performance - I'd rather pay the premium for ultimate performance, because I know I'd just end up with upgrade-itis the day after buying one in the ~$650 range.
Just a few questions, then: is it wrong to dismiss the cheaper options, am I missing anything at or above the level of performance of the listed CIEMs, and would I be right to think that those listed can really only be differentiated by their sound signatures, rather than on absolute levels of performance?