Not from us, we were having conversations at an association meeting and someone had a still of the play.
Most were of the mind that 13 was eligible, but some were adamant the other way.
Would the same eligibility rules be true on something other than a scrimmage kick? For example, if A were to line up in the same formation, with 6 being Qb and 7 being an RB. Would 13 still be eligible with five linemen meeting numbering requirements and him still eligible by positioning and numbering, even with him snapping the ball?