Another factor here is that since the red-light ticket is issued to the owner of the vehicle and not necessarily against the driver (because they don't know who was driving), it won't affect your insurance and won't affect your driving record. Given that ... Not worth pursuing.