Co-worker has a $800 ht budget

[ZIPPO]

Yesterday at a work related meeting, a co-worker mentioned that he had stopped by a Bose outlet store. He said "they sound so good, but they're expensive". I promptly gave him some cheaper options. He's currently using a JVC HTIB, PS3 & 73" Mitsubishi DLP. His room dimensions are large from his descriptions( 60' length by ??' width ).

Option 1:
Polk Audio RM6750 speaker system paired with a ONKYO TX-SR507 receiver.
http://www.newegg.com/Product/Produc...82E16882290066
http://www.newegg.com/Product/Produc...82E16882120131

total= $530



Option 2(would stretch the budget a little, but I think he'd be happier in a large room with it):
Polk Audio CS1 (black)=$99.99
4 x Polk Audio Monitor 50 (black)=($89.99 each/until Oct. 26th) x 4=$359.96
Elemental Designs A2-300 subwoofer=$350.00
ONKYO TX-SR507 receiver=$299.99
http://www.newegg.com/Product/Produc...82E16882290022
http://www.newegg.com/Product/Produc...82E16882290013
http://www.edesignaudio.com/product_...roducts_id=407
http://www.newegg.com/Product/Produc...82E16882120131

total= $1110


I suggested he get the speakers first, since they're on sale now(until Oct. 26th). Then get the receiver around Black Friday when it may be cheaper.

What would you've suggested?