I believe the FileVault thing is just half the issue. Hence the second part about using an HDMI display emulator.Interesting that they specify "with FileVault turned on", since I don't use FileVault but my mini exhibits the black screen symptom anyway.