Add case insensitivity for tickets

This saves our shift keys from wear and tear.