大阪の紅生姜天って富士そばの紅生姜天とは別物なん?