<p>I think it may have been, but in any case, it’s closed for this coming Fall, so no use mulling over it :-/.</p>