On the top hat vs airtime hill debate, I think - for me - what classifies something as a top hat is not so much the verticality, but more the twisting involved in the incline/descent.
So yeah, I'd be of the view that these were airtime hills, not top hats. But I guess on this front, it's kinda...