I got 5 koi bettas from Petco a couple months ago and one of them had hole in head disease. The first sign was lethargy and swelling/pineconing in the affected area. The lesion went away after a week and fishy made a full recovery. However I don't see any signs of it in your photos.