Hello Steve,
I know of a couple of producers who sell sizeable libraries of reverbs for Hauptwerk:
- Sonus Paradisi: https://www.sonusparadisi.cz/en/irs.html
- Inspired Acoustics: https://www.inspiredacoustics.com/en/pr ... ibrary-hw5
There might be others.