Was $8,200 in 27 months too much for Ron MacKinley to charge to a government credit card for meals?