まあサーマルパットに2.5mmなんてないんだけどね。
メーカー純正のパットは割と2.5mm使われてるから悩ましい。
まあ浮くのは最悪だから多少膨らんでも3mm使うのが普通だけども