The $1728 HP Pavilion dv7-4010TX is a cross between a potent Core i7 gaming notebook and TV tuner equipped entertainment notebook.
The HP Pavilion DV6 3030TX is a good notebook for $1186. It may not have much entertainment functionality despite being advertised as such, but it's still a good notebook.
Xubuntu 12.04.3 installed on HP Pavilion DV6 - Core i5 1st generation:
product: HP Pavilion dv6 Notebook PC (XS080EA#ABV)
width: 64 bits