What app was he using? I saw no screenshot posted to back up his claim, nor did his post state the app's name.
Also, I did my speedtests on both the speedtest.net app and the FCC Speedtest app. I just chose to post my results from the FCC app as the variance, if any, *in my experience* tends to be insignificant.
Edit: I just conducted one speedtest on each app from my surrent location (Westminster, CA) to "back up" my own claim, but looks like I got a bit of egg in my face.
Speedtest.net:
5.43 mbps up, 2.17 down (server in Irvine, CA)
FCC:
3.17 mbps down, 2.48 up (server in L.A.)
HOWEVER, that is still nowhere remotely near 9 mbps.