fossi in te farei così:
codice:
for($a=0;$a<55;$a++) $finale[] = 'tizio';
for($a=0;$a<25;$a++) $finale[] = 'caio';
for($a=0;$a<20;$a++) $finale[] = 'sempronio';

$banner = array_rand($finale);
Così hai il 55%, 25%, 20% delle probabilità rispettivamente..