Exactly..I dont think that they will open your complete luggage and check the receiver when you keep it in the check in luggage. Also the limit is around 35 K and not 10K....
All these are capable AVRs. It depends on what the user want and preferences.
Also check the service availability in you won't get warranty for UK purchase.