Here is my thread for 2011 buffet prices, and it will give you the price - the prices listed include peak season surcharge and tax (6.5%), so since you are going in September, which is non peak season, just take the price listed and minus $4.00/adult plus 6.5% tax and $2.00/child plus 6.5% tax:
http://www.disboards.com/showthread.php?t=2627843
As far as Belle being the greeter, she has been the greeter for several years now. We have attended this meal many, many times over the past 5 years. My DD has a wall full of photos, as Belle is also her favourite princess - LOL!
We have never attended for breakfast as we don't find breakfast to be worth it, but based on lunch and dinner, the food is a bit different and unique here, but as mentioned above, you'll see the typical breakfast foods. Check out the dining review board for photos.
As for what time to be there for a 9:25 ADR, arrive at least 15 mins before your ADR time, as mentioned above.. Remember, if you aren't in Epcot already, you need to get to World Showcase/Norway, so allow for that. There is always a big line up here for the meal, but it goes through to the podium pretty quickly.
Happy dining, Tiger
