Is @Lil_Jose7 a marketing gimmick by @FSMarlins or by the @Marlins?