Personally I think the ticket GPC is just fine but if we do decide to go with 4 letters I'd go with GRMP so it can be pronounced 'Grumps' or 'Grump'. With GRUM people will say it 'Grum' and that just sounds weird to me.