So have they filed form 13D? If not, why not? They own over 10%? Still in pocket change range at about $20,000.