Hello, Sleeps! I have not yet tried those two as of yet, however, I'm sure that I'll get around to doing so in the not too distant future knowing that one of my finer local grocery markets stocks them! :glugglug:
FYI/FWIW: Here is a list of the Belgian Ales I recall sampling over the years...
Maredsous Abbey
Orval Trappist
Trappist Rochefort6 > $7.29 per 330 ml/ 11.2 oz bottle! Saint Bernardus Christmas.