Who cares what the factory may have stamped it, I think I'd stamp it "88HP440" or "88TNT440" .