It looks like you can change the User Agent by going to 'about:config' in the browser, clicking through the usual warning, then looking for general.useragent.vendor and changing the string. I haven't actually verified that that works, but it should do.