Definitively you should ask the Red Hat support. I say this not for unwillingness to help, but because they may really offer the best solution for your system and they will do it in the Red Hat way
! This is my
: avoid any risk to scramble your system with erroneous advices or random mistakes and trust the official Red Hat support you paid for.
Maybe it is worth taking a look at the official Toshiba corp. Linux support site http://linux.toshiba-dme.co.jp/linux/