No Andrew, have not.
But I never met 1 I didn't like, at the correct drinking temperature !
It's worth searching out.
The homebrew clone of it (I lost the recipe) but usually you make 5 gallons on a 10 gallon system, well there's not enough room in 10 gallons for grist and wash so you had to go even larger. Grain bill was huge for 5 gals.
It's a great beer but not one to pound 8-10 of them and drive.