If you've bought a couple of hetchins already then your opinion on price is easily in the top 1% of opinion by quality.
I thought 450, because the paint is ok. I've also bought a couple of hetchins in the few thousand s/h bikes we've had.
(I'm still doing one up, 1948 iirc)
Of course that's under 400 hammer price as you point out the maths.