I agree about Wilf-Zeilberger, and have been reading A=B. I don't have Maple or Mathematica, which may be necessary to solve this in a reasonable amount of time. I expect a question to MathOverflow would basically be asking someone to use a program for me. I'd prefer to understand something, and a bijective proof might help with that.