I’m looking for an “Airhead” mechanic in the Pensacola / Destin area. I have an 83 R80 RT. I called the local BMW dealer in Pensacola and the service department didn’t even know what an “airhead” was! I’ve got a fuel supply issue. Not something I’ve got the experience to repair or the time to explore. Any help?