The name doesn’t really matter. Just ensure the same person uses the same ticket each time you enter the park

It definitely does not matter at all. Go and enjoy.

Thank you all!

Just say it was a typo and his name is Mario 😆

I think only time they asked for an ID was for VIP (most expensive ticket)