I think that all the battleship and aircraft carrier kits by Tom's Modelworks are updated version of HP Models - including a lot of completely new parts.
A HP Model kit list would be nice to have - but as I had written, a lot of work and in some cases it would be difficult to find out, if a kit was released or not.