there is also a robin hood / spaceballs double feature disc coming out in the upcoming mgm / fox promo. it looks to be the single disc non SE release.
bummer that the brooks box didn't hold out just a bit longer until the fox distribution deal with MGM started up...we may have seen the Producers, Life Stinks, and spaceballs included along with Warners blazing saddles for a more complete set.