Lol it's fine, I like these kind of names, they're not offensive, and if a non-child friendly name like this is read by a child, it'll go over their head anyways
Few days ago a DnD player of mine named himself Mike Rotch lol
