$300 of the Apple Store with ADC membership but how does it work?

Aaand... I apparently can't spell "Off". Anyway, I'm trying to figure out how the ADC student membership with Hardware Purchasing Plan works. I've read the link but i'm still not too sure what the procedure is. Have any of you used it and how do you know exactly how much you get off the computer?

From what i gather you:
1) Buy an ADC membership for $99.
2) Log in and fill some stuff out
3) Fax them your student ID and/or a bunch of other verification stuff (You can be an undergrad or grad. I asked and apparently med is included in this)
4) You can use the Hardware Purchasing Program once in your life
5) They check out if you're a student and then they allow you to access the store.

Other threads said you get $300 off of a MBP on top of your student discount.

Anyone have any other details?

 

I think you get that ADC discount without being a student.
You can get a student discount without having an ADC membership.

 

If you know how that would be great. As far as i know the student ADC discount is $99. You get the 300 dollars off on top of the normal student discount.

Edit: Found the link to the developer store. You can a 15" MBP for a little over 300 off compared to a student discount. They aren't additive.