I don't think it was ever really 9.5. The highest I ever saw it was 7.5. Wherever that 9.5 came from I don't think was legit.
Bodog is actually at +9 (even) now. They typically offer slightly better odds on underdogs. Most books are at +9 (-115) or thereabouts. Pinnacle's line history: 01/10 16:05 +9? -118 / -9? +109 01/10 16:15 +9 -123 / -9 +114 01/10 16:20 +9 -125 / -9 +115 01/10 16:25 +9 -126 / -9 +116 01/10 16:35 +9 -125 / -9 +115 01/11 13:40 +9 -126 / -9 +116 01/11 18:54 +9 -127 / -9 +117 01/11 21:40 +9 -128 / -9 +118 01/12 18:06 +9 -131 / -9 +121 01/12 19:56 +9 -137 / -9 +126 01/12 20:01 +7? -117 / -7? +108 01/12 20:06 +7? -118 / -7? +109 01/12 20:11 +7? -119 / -7? +110 01/12 21:16 +7 -105 / -7 -103 01/12 21:56 +7 -107 / -7 -101 01/13 00:26 +7 -106 / -7 -102 01/13 09:14 +7 -105 / -7 -103 01/14 00:19 +7 -106 / -7 -102 01/14 00:54 +7 -107 / -7 -101 01/15 13:17 +7 -108 / -7 +100 01/15 13:32 +7 -107 / -7 -101 01/15 13:37 +7 -105 / -7 -103 01/15 18:10 +7 -106 / -7 -102 01/15 20:55 +7 -107 / -7 -101 01/15 21:00 +7 -106 / -7 -102 01/16 16:34 +7 -104 / -7 -104 01/16 22:49 +7 -102 / -7 -106 01/17 09:42 +7 +100 / -7 -108 01/17 10:27 +7 +101 / -7 -109 01/17 10:42 +7 +103 / -7 -111 01/17 10:52 +7 +104 / -7 -112 01/17 11:12 +7? -106 / -7? -102 01/17 11:22 +9 -118 / -9 +109 01/17 11:37 +9 -119 / -9 +110 01/17 12:17 +9 -117 / -9 +108 01/17 12:37 +9 -115 / -9 +106 01/17 12:42 +9 -117 / -9 +108 01/17 12:52 +9 -115 / -9 +106 01/17 13:07 +9 -117 / -9 +108 01/17 15:02 +9 -116 / -9 +107 01/17 15:07 +9 -114 / -9 +105 01/17 15:17 +9 -117 / -9 +108 01/17 16:07 +9 -115 / -9 +106 01/17 16:12 +9 -117 / -9 +108 01/17 16:17 +9 -114 / -9 +105 01/17 16:27 +9 -118 / -9 +109