I might push. Any size raise is probably going to chase out a straight or two pair, so you're making money from worse flushes, people chasing the nut flush, and maybe 99/88. A push looks desperate and might get called by BB, who really likes his hand.