Naturally it's not in the user manual.
I have the new AEBS and I have a new rMBP with 802.11ac.
Do I need to do anything particular to make sure the laptop is connected using "a"?
Is there a benefit to naming the 5GHz portion?
I'm assuming you want the computer to connect with 802.11ac, not 802.11a (an older standard). In any case, there is not much you can do from AirPort Utility on the AEBS itself to make that happen, unless you want to either disable all wireless transmissions besides 802.11ac (which will ruin backward compatibility) or separately name your 5 GHz network (which will connect only with 802.11n if you have 5 GHz 802.11n broadcasting, or 802.11ac which supports only 5 GHz; it will prevent connections with 802.11b/g or 802.11n at 2.4 Ghz; I'm honestly not sure about 802.11a but if the AEBS is broadcasting it I'd expect it to also work, which may not be desirable).
As I hinted at above, naming your 5 GHz network is actually just giving it a separate name from your 2.4 GHz network. If you don't check the box, it just happens to be named identically to your 2.4 GHz network and your computer will "roam" freely between the two, depending on what it can "see" best. If you name the 5 GHz one separately, you'll see it listed separately and so can "force" your computer to connect to whatever you're broadcasting there (by configuring only the 5 GHz network on your computer--or both it and 2.4, with an order of preference set). I don't think there's much of an advantage to doing this because your computer will select the best one anyway, but it could be useful if the 2.4 band is crowded in your area. I'm not sure if this is actually documented anywhere, but if my laptop can see my 5 GHz n network, it chooses that; otherwise (rarely), it chooses the best 2.4 option. You can see how you're currently connected by Option+clicking the Wi-Fi icon on the right side of the menu bar.
Basically, if your laptop can reliably connect with 802.11ac, it will do so. It will pick the best signal available, so unless you really want to force it no matter what (by either naming your 2.4 and 5 GHz networks separately--inconvenient only in that you'll have two separate SSIDs--or disabling certain broadcasts--which may limit backwards compatibility), the defaults are probably fine on both the laptop and AEBS.