I started to write up the proof of the result on Weil restriction over local fields, but ran out of time. I'll come back to this when I can.