必要なしです。

クレジットカードは必携です。私はこれを忘れてチケットを引き換えようとして気づいて慌ててホテルに戻り、予約確認画面のプリントアウトを見せて、発券機の側で案内してくれているお姉さんに発券してもらいすぐさま入手できました。
朝からチケット売り場は込み合っているので、余裕を持って現地に到着するのをお勧めします。
ちなみに私はその日(8/17)の午後バスでセビリヤへ移動する際、バルセロナに戻る日本から来た方にバス乗り場で会いました。朝の7時から並んでも入場券は手に入らなかったということです。