Time ran away from me on this one, so only just had chance to catch up.
I went over my notes and think the initial mash temperature was something like 73C. I knew this was high, so left the mash tun open, and stirred until it fell to 68C or so and then left it for a while.
I wasn't using as...