Of course, the correct pronunciation is "filasteen" :) But I agree. Hard to abbreviate.