preflop is really hard to comment on. Mucking is fine against an unknown, but I'm not happy about it.

I think pushing here (??) is the best play. If I were playing against a player such that a big set was a huge concern for me, I would feel much better about mucking this pre.