If he's modded then he might have the mph to run 11s, but not the time. The highly modded RX7s seem to be stuck int he 12s...just like the supras but at ridiculous mph (120++)
Even if he's a stock, a 5.0 with bolt-ons will have a hard time beating him on the highway so stay away from that...