bendbrew that recipe does indicate that they mash hopped and i would brew that recipe just like it's shown. you'll have a very hoppy delicious brew on your hands. as an experiment, later on you could swap the mash hops for fwh though you'd have to adjust a few of the additions due to the added bitterness. that way you can decide for yourself if you prefer one method over the other.