I'd recommend doing a 3 gallon sparge, then boil the wort down and do a second 3 gallon sparge. Bigger beers need more sparging, not less. Put the second 3 gallons in the mash tun and stir it occasionally while you wait.
Remember one unassailable statistic, as explained by the late, great George Carlin: "Just think of how stupid the average person is, and then realize half of them are even stupider!"
"I would like to die on Mars, just not on impact." Elon Musk