The current implementation of PayPal Express Checkout's shortcut button sends the cart's price without tax in all cases. If a store is configured to "Display Prices with Tax", shouldn't the price sent to PayPal be tax-inclusive?

If it turns out that the customer's address coming back from PayPal is outside of a taxed zone, won't the tax automatically be removed on the checkout_confirmation page's display?