So many ways to boil eggs. I always use hot start for hard boiled because I actually want to be able to peel them, but lots of sites assume cold start (because fewer break that way I guess?) and I should really just remember that it's about 12 minutes for hard boiled with a hot start at roughly sea level.
Soft boiled is a whole other game of course.