From wiki has a ticketing system for all maintenance requests and anything else, you want to request from the company.

You might have to create an account if you never did, but then you're off. Most requests might take some days, but for things we don't need external workers to come in, it usually gets done in hours.