Hello Sam
I think your experiment hits the nail right on the head! Yes, that is correct. Spokes don’t need the mappings since they use the hub to resolve the next hop IP, however, the hub needs mappings because the routing is dynamic. Thanks for sharing your experiment, it is a useful way to visualize and confirm this behavior.
I hope this has been helpful!
Laz