I won't shame them
we did have a life changing event and some people probably don't want to miss out on things now
the tickets can't be that expensive probably like 2k at most so it's not that bad to dip into your 401k if you want to do that
I wouldn't do it personally though