Correct. If you really really want to make sure about it, check under the front passenger seat -- the JBL system's amplifier is under there. Check it out from the back seat, and you should be able to see the amp under there, no problem.
If you're looking at new SE's, just check for option "EJ" on the sticker -- it's a $1,000 option. Or at least that was the price for the 2008's -- not sure about 2009's....